- программа проверки на непротиворечивость
- Engineering: consistency checker
Универсальный русско-английский словарь. Академик.ру. 2011.
программа проверки на непротиворечивость
Смотреть что такое "программа проверки на непротиворечивость" в других словарях:
ТЕОРИЯ ПОЗНАНИЯ — Гносеология (от греч. gno sis знание, logos слово, понятие), Эпистемолог и я (от греч. episteme знание) раздел философии, исследующий природу человеческого познания, его источники и предпосылки, отношение знания к предмету познания, условия… … Философская энциклопедия
Геометрия — (греч. geometria, от ge Земля и metreo мерю) раздел математики, изучающий пространственные отношения и формы, а также другие отношений и формы, сходные с пространственными по своей структуре. Происхождение термина «Г. , что… … Большая советская энциклопедия
ДИДРО — (Diderot) Дени (1713 1784) французский философ и идеолог Просвещения, писатель, теоретик искусства, глава энциклопедистов. Основные сочинения: вольный авторский перевод и комментарий работы А.Э.К. Шефтсбери ‘Исследование о достоинстве и… … История Философии: Энциклопедия
ДИДРО — (Diderot) Дени (1713 1784) французский философ и идеолог Просвещения, писатель, теоретик искусства, глава энциклопедистов. Основные сочинения: вольный авторский перевод и комментарий работы А.Э.К. Шефтсбери «Исследование о достоинстве и… … Новейший философский словарь
Наука — У этого термина существуют и другие значения, см. Наука (значения) … Википедия
ДИДРО Дени (1713-1784) — французский философ и идеолог Просвещения, писатель, теоретик искусства, глава энциклопедистов. Основные сочинения: вольный авторский перевод и комментарий работы А.Э.К. Шефтсбери Исследование о достоинстве и добродетели (1745, Голландия),… … История Философии: Энциклопедия
ГОСТ Р ИСО/ТС 18308-2008: Информатизация здоровья. Требования к архитектуре электронного учета здоровья — Терминология ГОСТ Р ИСО/ТС 18308 2008: Информатизация здоровья. Требования к архитектуре электронного учета здоровья: авторизация (authorization): Предоставление прав, включая предоставление доступа на основе прав доступа (ИСО/МЭК 2382 8).… … Словарь-справочник терминов нормативно-технической документации
